"J. R. Abrial" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Автор: Jean-Raymond Abrial, Автор: Uwe Glasser

Категория: Компьютеры

Размер книги: 3.05 Mb

The B-Book: Assigning Programs to Meanings

Автор: J. R. Abrial

Размер книги: 13.00 Mb

Modeling in Event-B: System and Software Engineering

Автор: Jean-Raymond Abrial

Размер книги: 3.01 Mb

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995

Автор: Jean-Raymond Abrial, Автор: Egon Börger, Автор: Hans Langmaack

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 4.81 Mb